"Benedikt Löwe" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the Conference (Trends in Logic, 23)

Benedikt Löwe, Boris Piwinger, Thoralf Räsch

2.38 Mb

#2

New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings (Lecture Notes in Computer Science)

Barry S. Cooper, Benedikt Löwe

5.41 Mb

#3

Models of Computation in Context - Cie 2011

Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova

3.17 Mb

#4

Wadge Degrees and Projective Ordinals: The Cabal Seminar Volume II

Alexander S. Kechris, Benedikt Löwe, John R. Steel

4.66 Mb

#5

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, ... Computer Science and General Issues)

Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes

5.87 Mb

#6

New computational paradigms. Changing conceptions of what is computable

S.B. Cooper, Benedikt Löwe, Andrea Sorbi

Категория: Computer science, Computability

4.90 Mb

#7

Computation and Logic in the Real World, 3 conf., CiE 2007

S. Barry Cooper, Benedikt Löwe, Andrea Sorbi

Категория: Cs_Computer science, CsLn_Lecture notes

7.70 Mb

#8

Logical Approaches to Computational Barriers, 2 conf., CiE 2006

Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker

Категория: Cs_Computer science, CsLn_Lecture notes

6.03 Mb

#9

New Computational Paradigms, 1 conf., CiE 2005

Barry S. Cooper, Benedikt Löwe

Категория: CsLn_

6.61 Mb

#10

New Computational Paradigms Changing Conceptions of What is Computable

S.B. Cooper, Benedikt Löwe, Andrea Sorbi

4.91 Mb

#11

Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Löwe

1.57 Mb

#12

New Computational Paradigms: Changing Conceptions of What is Computable

S.B. Cooper, Benedikt Löwe, Andrea Sorbi

1.76 Mb

#13

New Computational Paradigms: Changing Conceptions of What is Computable

S.B. Cooper, Benedikt Löwe, Andrea Sorbi

5.04 Mb